semantic completeness造句
例句与造句
- He was principally known for " Henkin construction ", his version of the proof of the semantic completeness of standard systems of first-order logic.
- It's difficult to find semantic completeness in a sentence. 用semantic completeness造句挺难的